#include "timer.h"
#include "kstd.h"

static unsigned long uptime = 0;

unsigned long gettick(void)
{
  return uptime;
}

void inctick(void)
{
  uptime += 10;
}
